void sleep_ms(int milliseconds);
long long get_time_usec();
